TU Berlin

Modelle und Theorie Verteilter SystemeMitteilungen

MTV mit Schwung

Inhalt des Dokuments

zur Navigation

Lehre

  • Freisemester im WiSe 17/18 [1]

    Aufgrund des Freisemesters des Fachgebietsleiters wird im WiSe 17/18 nur ein Rumpfprogramm angeboten. Das Modul "Formale Sprachen und Automaten" wird von Dr. Kirstin Peters durchgeführt.

  • Freisemester WiSe 13/14 [2]

    Aufgrund des Freisemesters des Fachgebietsleiters wird im WiSe 13/14 nur ein Rumpfprogramm angeboten. TheGI1 wird von Prof. Stephan Kreutzer durchgeführtTheGI wird von Dr. Kirstin...

  • Lehrangebot [3]

    Die Webseiten wurden nun endlich aktualisiert und systematisiert.  Man kann nun sowohl auf die (allein) prüfungsrelevanten Module zugreifen und sich zu deren Entstehung und Weiterentwicklung informieren, als auch —...

  • Neue Lehrveranstaltung im SoSe 10 [4]

    In Sommersemester 2010 wird zum ersten Mal das Modul MINF-VS-SYNC angeboten. Es enthält ein Seminar "Synchrone und Asynchrone Interaktion in Verteilten Systemen". Weitere Informationen finden sich in...

  • Gastvorlesung: Calculus of Computation von Prof. Zohar Manna [5]

    Professor Zohar Manna aus Stanford hält vom 19.10.2009 bis 27.11.2009 eine Vorlesungsreihe mit dem Titel "Calculus of Computation". Weitere Informationen: https://www.isis.tu-berlin.de/course/view.php?id=2398

  • "Dienst"-Adresse [6]

    Das Fachgebiet ist für Anfragen unter der Adresse service@mtv.tu-berlin.de zu erreichen.

  • MTV2 und MTV3 in der 1. Vorlesungswoche [7]

    Anmeldungen zu "Verteilte Algorithmen" (MTV2) und "Temporallogik für Softwareingenieure" (MTV3) sind jetzt über die entsprechenden ISIS-Seiten möglich. In der ersten Vorlesungswoche gibt es...

News 8 bis 14 von 17
<< Erste [8] < Vorherige [9] 1-7 [10] 8-14 15-17 [11] Nächste > [12] Letzte >> [13]
------ Links: ------

Navigation

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe